様相論理S4と直観主義命題論理iPLのModal Companion